通过 JVM (HotSpot) 源码和汇编理解 Java volatile 实现原理 |
您所在的位置：网站首页 › jvm 汇编 › 通过 JVM (HotSpot) 源码和汇编理解 Java volatile 实现原理 |
|
一. volatile 作用是什么
二. 多线程之间的内存可见性是什么，如果不保证可见性会怎么样
三. 通过 JVM 源码和汇编看怎么保证的多线程间的可见性
1. 准备工作：
运行程序打印汇编代码的设置
2. 字节码
3. JVM 源码
4. 反编译为汇编（不带 volatile 关键词）
5. 反编译为汇编（带 volatile 关键词）
6. JVM 源码
6. lock addl $0x0,(%rsp) 是什么
五. 参考
了解 volatile 前请先了解 「Java 内存模型 (JMM)」是什么 一. volatile 作用是什么保证变量在多线程之间的可见性 防止重排序 编译器重排序 指令级重排序 内存重排序 二. 多线程之间的内存可见性是什么，如果不保证可见性会怎么样如果不保证可见性的话，比如下面这段代码， 当变量 asscse 被改变为 1 后，开启的 thread 并不会结束运行，因为 asscse 被拷贝到了线程的工作内存中（以 server 模式运行） image.png 三. 通过 JVM 源码和汇编看怎么保证的多线程间的可见性 1. 准备工作： 运行程序打印汇编代码的设置 下载 https://github.com/evolvedmicrobe/benchmarks/blob/master/hsdis-amd64.dylib 将 hsdis-amd64.dylib 放入 %JAVA_HOME%/jre/lib 目录 如下图，在 intellj idea 中 vm options 中加入 -XX:+UnlockDiagnosticVMOptions -XX:+PrintAssembly -Xcomp -XX:CompileCommand=dontinline 后，运行即可打印汇编代码 image.png 2. 字节码带 volatile 关键词时，多了一个 ACC_VOLATILE image.png 3. JVM 源码通过 ACC_VOLATILE 看下 JVM 做了啥， 搜索 hotspot 源码，看到了两处 is_volatile image.png继续搜索is_volatile 做了什么，我靠这也太多了，160 + 结果，作为 Java 入道程序员，这个 C++ 看着确实有点拙计，得想点别的办法。。 image.png 4. 反编译为汇编（不带 volatile 关键词）我想看看反汇编出来的代码在使用和未使用 volatile 关键词修饰时的差异 image.png 5. 反编译为汇编（带 volatile 关键词）可以看出相对于不带 volatile 关键字是多了一行 lock addl $0x0,(%rsp)，开心。。 image.png 6. JVM 源码根据 lock addl 搜索到了两个结果，哈哈，看到了 '顺序存取' ，打开 orderAccess.hpp 看一下 image.png下面这张图中看到了，一大篇注释，在是解释内存模型 （JSR-133）和他们处理内存模型的方法其中包含 lock addl 对应的 fence 和其他函数，感兴趣的可以更具体的阅读：JDK8 hotspot - orderAccess.hpp 源码 image.png找到 orderAccess.hpp 的实现，可以看到 fence 函数中，内嵌了汇编，写入了 lock addl $0x0,(%rsp) image.png 6. lock addl $0x0,(%rsp) 是什么IA32 中对 lock 的说明是 The LOCK # signal is asserted during execution of the instruction following the lock prefix. This signal can be used in a multiprocessor system to ensure exclusive use of shared memory while LOCK # is asserted LOCK 用于在多处理器中执行指令时对共享内存的独占使用。它的作用是能够将当前处理器对应缓存的内容刷新到内存，并使其他处理器对应的缓存失效。另外还提供了有序的指令无法越过这个内存屏障的作用。 正是 lock 实现了 volatile 的「防止指令重排」「内存可见」的特性 五. 参考查看Java的汇编指令Java 内存模型 从 HotSpot 源码看 Java volatile 就是要你懂 Java 中 volatile 关键字实现原理 volatile在java server模式和client模式下的不同（主内存和工作内存） Java并发编程 - volatile |
今日新闻 |
推荐新闻 |
| CopyRight 2018-2019 办公设备维修网 版权所有 豫ICP备15022753号-3 |